This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suiteThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lire la suiteThis book consolidates experiences from across Europe on the design, development, implementation and evolution of inter-organisational ...
Lire la suiteBuilding research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like ...
Lire la suiteWelcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
Lire la suiteThis book highlights recent research on intelligent systems and nature-inspired computing. It presents 62 selected papers ...
Lire la suiteAdvances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid ...
Lire la suiteRobust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical ...
Lire la suiteRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lire la suiteThis volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lire la suiteThis book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
Lire la suiteThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suiteThis book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Lire la suiteThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite